From: nana-4 <hnmaigo@gmail.com>
Date: Sun, 12 Jan 2020 14:54:22 +0000 (+0900)
Subject: theme: Add missing border-radius to the active workspace in the switcher
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~781^2^2~197
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=fbfa22f964559866067bb4660d6ce6243a2d8398;p=gnome-shell.git

theme: Add missing border-radius to the active workspace in the switcher

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2088
---

diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
index 6d1828993..1c1cd9c77 100644
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@@ -31,6 +31,7 @@
 .ws-switcher-active-right {
   background-color: $selected_bg_color;
   border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
+  border-radius: $base_border_radius + 3px;
   color: $selected_fg_color;
 }